定理證明用逆向產(chǎn)生式系統(tǒng) backward production system: 逆向產(chǎn)生式系統(tǒng)theorem proving: 定理證明automated theorem proving: 自定理明; 自動(dòng)定理證明automatic theorem proving: 自動(dòng)定理證明mechanical theorem proving: 機(jī)器證明下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯